Extending POLIS with User-Defined Data Types
نویسندگان
چکیده
منابع مشابه
POLIS: Designing a Visualization Tool for the Research of Complex Sociopolitical Landscapes
While sophisticated information visualization tools promise exciting transformations in scholarship, translating those capabilities into practical solutions can prove challenging. The “polis” project, a the product of the Stanford Classics Department, is a multi-year effort to create a visualization application capable of enabling research into the sociopolitical landscape of the Ancient Greek ...
متن کاملPOLIS : a probabilistic summarisation logic for structured documents
As the availability of structured documents, formatted in markup languages such as SGML, RDF, or XML, increases, retrieval systems increasingly focus on the retrieval of document-elements, rather than entire documents. Additionally, abstraction layers in the form of formalised retrieval logics have allowed developers to include search facilities into numerous applications, without the need of h...
متن کاملUser Generate Spatial Content in Land Administration and Cadastre: Types and Usage
Nowadays, one of the most important factor for better land management are the land administration systems. Therefore, it is necessary accurate and up-to-date data on these systems. Common data collection methods, such as photogrammetry and remote sensing, are usually cost-effective and somewhat time-consuming. So, it is necessary to find new methods for data collection in order to keep land adm...
متن کاملIntegrating the Population Perspective into Health System Performance Assessment (IPHA): Study Protocol for a Cross-Sectional Study in Germany Linking Survey and Claims Data of Statutorily and Privately Insured
Background Health system performance assessment (HSPA) is a major tool for evidence-based governance in health systems and patient/population-orientation is increasingly considered as an important aspect. The IPHA study aims (1) to undertake a comprehensive performance assessment of the German health system from a population perspec...
متن کاملA Logic for a Coordination Model with Multiple Spaces
This paper introduces and studies PoliS, a coordination model to specify the software architecture of distributed applications. PoliS is based on multiple dataspaces containing both data and programs. We deene PoliS syntax and semantics, and show how it can be used as a formal notation for specifying open systems. We adopt TLA logic to reason on PoliS speciications. Finally, we discuss an appli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999